Representations of Algebraic Domains and Algebraic L-domains by Information Systems
نویسندگان
چکیده
منابع مشابه
Non-algebraic quadrature domains
It is well known that, in the plane, the boundary of any quadrature domain (in the classical sense) coincides with the zero set of a polynomial. We show, by explicitly constructing some four-dimensional examples, that this is not always the case. This confirms, in dimension 4, a conjecture of the second author. Our method is based on the Schwarz potential and involves elliptic integrals of the ...
متن کاملQuasi-Prime Algebraic Domains
The purpose of this paper is to introduce a new class of domains called quasi-prime algebraic domains. We show that this class is a good candidate for the purpose of denotational semantics of programming languages. This is achieved by exhibiting many constructions usually needed for denotational semantics on quasi-prime algebraic domains. In the first part we motivate the notion of quasi-primes...
متن کاملAlgebraic Domains of Natural Transformations
Motivated by the semantics of polymorphic programming languages and typed -calculi, by formal methods in functor category semantics, and by well-known categorical and domaintheoretical constructs, we study domains of natural transformations F : !G of functors F;G: ! C with a small category as source and a cartesian closed category of Scottdomains C as target. We put constraints on the image arr...
متن کاملUniversal Quasi-Prime Algebraic Domains
This paper demonstrates the existence of a saturated quasi-prime algebraic domain. It also presents a cpo of quasi-prime generated information systems for solving domain equations.
متن کاملAlgebraic Solving of Complex Interval Linear Systems by Limiting Factors
In this work, we propose a simple method for obtaining the algebraic solution of a complex interval linear system where coefficient matrix is a complex matrix and the right-hand-side vector is a complex interval vector. We first use a complex interval version of the Doolittle decomposition method and then we restrict the Doolittle's solution, by complex limiting factors, to achieve a complex in...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2014
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2014.01.010